Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 50 of 119 (1.388 secs)
You searched for: subject:"Theorems"
[1] 2 3     Next    Last
[audio]11X1 T07 01 angle theorems (2013) - Nigel Simmons
Initial definitions & notations and the angle theorems
Keywords: angle theorems
Downloads: 9
[texts]The Fundamental Theorems Of The Differential Calculus No.11 - W.H.Young Sc.D.,F.R.S.

Keywords: Fundamental Theorems
Downloads: 1,492
[audio]11X1 T07 02 triangle theorems (2013) - Nigel Simmons
Building some more theorems
Keywords: triangle theorems
Downloads: 15
[audio]11X1 T13 02 angle theorems 1 (2013) - Nigel Simmons
The first of our angle theorems
Keywords: circle geometry; angle theorems
Downloads: 3
[audio]11X1 T07 01 angle theorems (2010) - Nigel Simmons
Introducing the initial angle therems used in Euclidean proofs
Keywords: geometry; angle theorems
Downloads: 211
[audio]11X1 T07 06 tangent theorems 2 - Nigel Simmons
the alternate segment theorem
Keywords: geometry; tangent theorems
Downloads: 230
[audio]11X1 T07 03 angle theorems 2 - Nigel Simmons
The second part of angle theorems
Keywords: geometry; angle theorems
Downloads: 337
[audio]11X1 T13 03 angle theorems 2 (2013) - Nigel Simmons
Adding a couple of angle theorems to the list
Keywords: angle theorems; circle geometry
Downloads: 6
[texts]Selected bibliography of statistical literature, 1930 to 1957: limit theorems (Volume 64B) - Deming, Lola S.
Journal of Research of the National Bureau of Standards
Keywords: Bibliography; limit theorems
Downloads: 107
[audio]11X1 T07 05 tangent theorems 1 - Nigel Simmons
We begin with an assumption and from there we build some more theorems
Keywords: geometry; tangent theorems
Downloads: 876
[audio]11X1 T07 01 definitions & chord theorems - Nigel Simmons
Introduction to circle geometry and some initial theorems
Keywords: circle geometry; chord theorems
Downloads: 1,078
[audio]11X1 T07 02 angle theorems 1 - Nigel Simmons
The first look at some angle theorems
Keywords: geometry; ange theorems
Downloads: 215
[texts]Some limit theorems for weighted sums of random variables - Adler, André Bruce
http://uf.catalog.fcla.edu/uf.jsp?st=UF000947199&ix=nu&I=0&V=D
Keywords: Limit theorems (Probability theory
Downloads: 109
[audio]11X1 T07 04 converse theorems - Nigel Simmons
Using theorems in reverse
Keywords: geometry; converse theorems
Downloads: 178
[audio]11X1 T06 02 triangle theorems - Nigel Simmons
Geometry theorems involving triangles
Keywords: geometry; triangle theorems
Downloads: 220
[audio]11X1 T07 02 triangle theorems (2010) - Nigel Simmons
Deriving the triangle and polygon theorems.
Keywords: geometry; triangle theorems
Downloads: 130
[texts]Two theorems on matrices (Volume 66B) - Newman, Morris
Journal of Research of the National Bureau of Standards
Keywords: Matrices; two theorems
Downloads: 33
[audio]11X1 T06 01 angle theorems - Nigel Simmons
Introduction to Euclidean geometry starting with some terminology and some inital theorems
Keywords: geometry; angle theorems
Downloads: 203
[texts]An optimal control formulation of the Blaschke-Lebesgue theorem - Ghandehari, Mostafa.
Cover title
Keywords: THEOREMS; PLANE GEOMETRY
Downloads: 62
[audio]11X1 T13 03 angle theorems 2 (2010) - Nigel Simmons
Continuing with more angle theorems.
Keywords: angle theorems; euclidean geometry; circles
Downloads: 160
[audio]11X1 T13 02 angle theorems 1 (2010) - Nigel Simmons
Looking at the initial angle theorems.
Keywords: circles; angle theorems; euclidean geometry
Downloads: 158
[audio]11X1 T13 01 definitions & chord theorems (2010) - Nigel Simmons
The basic definitions of circke properties and introducing some chord (arc) theorems.
Keywords: euclidean geometry; circle; chord theorems
Downloads: 341
[texts]A note on the non-existence of multivalue A-stable methods of order greater than two (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 569) - Gear, C. William (Charles William), 1935-
Bibliography: leaf 3
Keywords: Differential equations, Linear; Existence theorems
Downloads: 37
[audio]11X1 T13 05 tangent theorems 1 (2010) - Nigel Simmons
Discovering the relationship between tangents and circles.
Keywords: tangent theorems; circles; euclidean geometry
Downloads: 206
[audio]11X1 T13 04 converse theorems (2010) - Nigel Simmons
Using the circle theorems in reverse to prove points re concyclic.
Keywords: euclidean geometry; circles; converse theorems
Downloads: 186
[texts]Continuity of a derivative defined by the law of the mean - Huffer, Charles M. (Charles Morse), 1894-
Thesis (M.A.)--University of Illinois, 1917
Keywords: Mean value theorems (Calculus); Fractional calculus; Theses
Downloads: 23
[texts]Energetics of Oxygen Interstitials in Cr and V - Good, Brian S.
Dissolved oxygen in group IIIA-VA (Nb, Ti, Zr, Y) based alloys is a fundamental problem, affecting both mechanical properties and oxidation resistance, yet details of the phenomenon are poorly understood. In these alloys, oxygen is more stable dissolved in the metal than as an oxide-compound. In contrast, alloys based on Ni, Fe, Al and Cr exhibit almost no oxygen solubility. To improve the performance of Nb and Ti based alloys it is necessary to understand the differences in oxygen solubility be...
Keywords: OPTIMIZATION; ALGORITHMS; THEOREMS; PROBLEM SOLVING; GAMES; INTELLIGENCE
Downloads: 118
[texts]Optics - Sir Isaac Newton
Sir Isaac Newton Optics Dover Publications Inc. 1952 Acrobat 7 Pdf 16.8 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Physics; Opticks; Definitions; Axioms; Propositions; Theorems; Problems
Downloads: 1,403
[texts]Comparison theorems for symmetric functions of characteristic roots (Volume 65B) - Marcus, Marvin
Journal of Research of the National Bureau of Standards
Keywords: Characteristic roots; comparison theorems; symmetric functions
Downloads: 24
[texts]Notable Algebraic Topologists and Their Theorems - I. C. Baianu, editor, with several listed contributors
A concise, contributed textbook presentation of notable algebraic topologists' biographies, important algebraic topology theorems, with extensive references/bibliography. It also contains numerous illustrations that are explained in the text in a simplified, introductory, but non-trivial manner. A kind of abbreviated `Who's Who' of Modern Algebraic Topology and Topology, as well as Algebraic Geometry and the Theory of Categories...
Keywords: Algebraic Topology theorems; algebraic topologists; mainstream mathematics
Downloads: 1,321
[texts]Low-Subsonic-Speed Static Longitudinal Stability and Control Characteristics of a Winged Reentry-Vehicle Configuration Having Wingtip Panels that Fold up for High-Drag Reentry - Ware, George M
An investigation of the low-subsonic-speed static longitudinal stability and control characteristics of a model of a manned reentry-vehicle configuration capable of high-drag reentry and glide landing has been a made in the Langley free-flight tunnel. The model had a modified 63 deg delta plan-form wing with a fuselage on the upper surface. This configuration had wingtip panels designed to fold up 90 deg for the high-drag reentry phase of the flight and to extend horizontally for the glide landi...
Keywords: EXOSPHERE; DENSITY DISTRIBUTION; OPIK THEORY; DEPTH; THEOREMS
Downloads: 94
[texts]Simulation of a Flywheel Electrical System for Aerospace Applications - Truong, Long V.
A Flywheel Energy Storage Demonstration Project was initiated at the NASA Glenn Research Center as a possible replacement for the battery energy storage system on the International Space Station (ISS). While the hardware fabrication work was being performed at a university and contractor's facility, the related simulation activity was begun at Glenn. At the top level, Glenn researchers simulated the operation of the ISS primary electrical system (as described in another paper) with the Flywheel ...
Keywords: THEOREMS; QUANTUM MECHANICS; THEOREM PROVING; SPIN DECOUPLING
Downloads: 156
[texts]A heat loss compensated calorimeter and related theorems (Volume 73C) - Domen, Steve R.
Journal of Research of the National Bureau of Standards
Keywords: Absorbed dose; calorimeter; heat loss compensation; heat flow theorems
Downloads: 55
[texts]COLLISION WITH SODIUM ATOMS IN ONE OF THE TWO 3 P2 STATES - SEIWERT, R
ATTEMPTS ARE MADE TO CLARIFY MEASURING DISCREPANCIES IN THE STUDY OF TWO D LINES RADIATED INTO PURE SODIUM VAPOR, A SODIUM VAPOR AIR MIXTURE, AND A SODIUM POTASSIUM VAPOR MIXTURE. RESULTS SHOW THAT THE INTENSITY RATIOS OF THE TWO RESONANCE LINES IN FLUORESCENT LIGHT IS MARKEDLY INFLUENCED BY THE RADIATION DIFFUSION AND THAT THE MEASURED VALUES THEREFORE DEPEND ON THE GEOMETRY OF THE SYSTEM. IF THIS IS TAKEN INTO ACCOUNT, THE APPARENT CONTRADICTION BETWEEN OTHER EXPERIMENTAL STUDIES CAN BE EXPLAI...
Keywords: DIFFERENTIAL EQUATIONS; PROBLEM SOLVING; THEOREMS; OPERATORS (MATHEMATICS); VARIABILITY
Downloads: 74
[texts]Theorems for finite automata - Wright, Reverdy Edmond, 1933-
Manuscript copy
Keywords: Sequential machine theory; Finite automata, Theorems for; Machine theory
Downloads: 211
[texts]NASA/DoD Aerospace Knowledge Diffusion Research Project: Report 42: The Technical Communication Practices of U.S. Aerospace Engineers and Scientists: Results of the Phase 1 Mail Survey -- Aircraft Design Perspective - Pinelli, Thomas E.
The U.S. government technical report is a primary means by which the results of federally funded research and development (R&D) are transferred to the U.S. aerospace industry. However, little is known about this information product in terms of its actual use, importance, and value in the transfer of federally funded R&D. To help establish a body of knowledge, the U.S. government technical report is being investigated as part of the NASA/DOD Aerospace Knowledge Diffusion Research Project...
Keywords: POLYNOMIALS; DISTANCE; ERROR CORRECTING CODES; MATRICES (MATHEMATICS); THEOREMS; FUNCTION SPACE
Downloads: 69
[texts]Existence theorems for optimal problems with vector valued cost function - Olech, C
Existence theorems for optimal control problems with vector valued cost function
Keywords: EXISTENCE THEOREMS; OPTIMAL CONTROL; THEOREM PROVING; EUCLIDEAN GEOMETRY; VECTOR SPACES
Downloads: 96
[texts]Electronics for Technician Engineers - W.W. Smith
W.W. Smith Electronics for Technician Engineers Hutchinson Educational 1970 Acrobat 7 Pdf 12.9 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Networks; Theorems; Components; AC; Diode; Triode; Pentode; Pulse; Feedback; Sawtooth
Downloads: 1,329
[texts]Divergent Series - G. H. Hardy
G. H. Hardy Divergent Series Oxford University Press 1973 Acrobat 7 Pdf 16.8 Mb Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Tauberian Theorems; Euler; Borel; Wiener; Power Series; Maclaurin
Downloads: 1,023
[texts]Multivariable Calculus- V10.2 the Divergence Theorem - Denis Auroux
Gradient �elds and path-independence: The two-dimensional theory developed for line integrals in the plane generalizes easily to three-space. For the part where no new ideas are involved, we will be brief, just stating the results, and in places sketching the proofs.
Keywords: Maths; Analysis and Calculus; Calculus; Integration Theorems; Divergence Theorem; Mathematics
Downloads: 10
[texts]Data Processing for NASA's TDRSS DAMA Channel - Long, Christopher C.
A concept for the addition of a Demand Assignment Multiple Access (DAMA) service to NASA's current Space Network (SN) is developed. Specifically, the design of a receiver for the DAMA channel is outlined. Also, an outline of the procedures taken to process the received service request is presented. The modifications to the (SN) system are minimal. The post reception processing is accomplished using standard commercial off the shelf (COTS) packages...
Keywords: CODING; ALGEBRA; MATRICES (MATHEMATICS); PARITY; LINEAR EQUATIONS; THEOREMS; GEOMETRY
Downloads: 116
[texts]RESULTS OF REMOTE SOUNDING OF THE ATMOSPHERE AND OCEAN IN THE INFRARED AND MICROWAVE REGIONS ON THE 13TH VOYAGE OF THE SCIENTIFIC RESEARCH VESSEL ''ACADEMICIAN KURCHATOV'' - GORODETSKIY, A. K.
THERMAL EMISSION FROM THE SEA SURFACE AND ATMOSPHERE WERE STUDIED IN THE INFRARED AND MICROWAVE REGIONS BY SEMIAUTOMATIC CAMERAS AND PHOTOMETER ABOARD SHIP IN THE NORTH ATLANTIC. THE ROLE OF SEA FOAM IN AFFECTING MICROWAVE EMISSION WAS ALSO EXAMINED.
Keywords: FUNCTION SPACE; OPERATORS (MATHEMATICS); THEOREMS; VECTORS (MATHEMATICS); DIFFERENTIAL EQUATIONS; EIGENVALUES
Downloads: 49
[texts]mit :: ai :: aim :: AIM-203a
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-203a
Keywords: theorem; theorems; planner; lisp; data; thprog; failure; variable; assigned; assertions; artificial intelligence; theorem prover; data base; erasing theorems; pattern matching; consequent theorem; failure propagates; antecedent theorems; failure backs; gerald jay
Downloads: 52
[texts]Elementary Abstract Algebra - Edwin Clark
This book is intended for a one semester introduction to absract algebra. Instead of spending a lot of time going over background material, we go directly into the primary subject matter. We discuss proof methods and necessary background as the need arises.
Keywords: Maths; Algebra; Groups; Groups; Lagrange and Fermat-Euler�s Theorems; Isomorphism Theorems; Axioms for Groups; Cosets; Lagrange�s Theorem; Quaternions; Mathematics
Downloads: 114
[texts]ASCA Observation of an ''X-Ray Shadow'' in the Galactic Plane - Park, Sangwook
The diffuse X-ray background (DXB) emission near the Galactic plane (l,b approximately 25.6 degrees, 0.78 degrees) has been observed with ASCA (Advanced Satellite for Cosmology and Astrophysics). The observed region is toward a Galactic molecular cloud which was recently reported to cast a deep X-ray shadow in the 0.5 - 2.0 keV band DXB. The selection of this particular region is intended to provide a constraint on the spatial distribution of the DXB emission along the line of sight: i.e., the m...
Keywords: TEMPORAL LOGIC; ALGORITHMS; EFFICIENCY; LOGIC PROGRAMMING; REFLECTION; THEOREMS; INFINITY; SOFTWARE DEVELOPMENT TOOLS
Downloads: 17
[texts]Deductive Geometry - E.A. Maxwell
E.A. Maxwell Deductive Geometry Pergamon Press Ltd. 1962 Acrobat 7 Pdf 4.43 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Triangle; Circle Theorems; Ceva; Menelaus; Pole; Line; Plane; Harmonic Properties; Solid Bodies; Sphere; Transformations; Space
Downloads: 563
[texts]mit :: ai :: aim :: AIM-015
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-015
Keywords: theorem; induction; recursion; reverse; defined; cons; scanning; proof; theorems; prove; recursion induction; scanning agent
Downloads: 31
[texts]An Integrated Environment for Efficient Formal Design and Verification - NON
The general goal of this project was to improve the practicality of formal methods by combining techniques from model checking and theorem proving. At the time the project was proposed, the model checking and theorem proving communities were applying different tools to similar problems, but there was not much cross-fertilization. This project involved a group from SRI that had substantial experience in the development and application of theorem-proving technology, and a group at Stanford that sp...
Keywords: INTERPOLATION; PERTURBATION; THEOREMS; QUADRATURES; FUNCTIONS (MATHEMATICS); INTEGRALS; INTEGRAL EQUATIONS; POLYNOMIALS; ACCURACY; LINEAR SYSTEMS; NUMERICAL ANALYSIS
Downloads: 89
[texts]High Gain Antenna Gimbal for the 2003-2004 Mars Exploration Rover Program - Sokol, Jeff
The High Gain Antenna Assemblies built for the 2003-2004 Mars Exploration Rover (MER) missions provide the primary communication link for the Rovers once they arrive on Mars. The High Gain Antenna Gimbal (HGAG) portion of the assembly is a two-axis gimbal that provides the structural support, pointing, and tracking for the High Gain Antenna (HGA). The MER mission requirements provided some unique design challenges for the HGAG...
Keywords: MICROWAVE INTERFEROMETERS; FOURIER TRANSFORMATION; IMAGING TECHNIQUES; MICROWAVE IMAGERY; THEOREMS; SCALARS; REMOTE SENSING; POLARIMETRY
Downloads: 100
[texts]Theory of Probability- Empirical Process and Kolmogorov's Chaining. - Dmitry Panchenko

Keywords: Maths; Statistics and Probability; Probability; Inequalities and Limits Theorems; Chebyshev�s Inequality; Mathematics
Downloads: 13
[1] 2 3     Next    Last
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
audio